3.29 \(\int \frac{a+b (F^{g (e+f x)})^n}{c+d x} \, dx\)

Optimal. Leaf size=68 \[ \frac{a \log (c+d x)}{d}+\frac{b \left (F^{e g+f g x}\right )^n F^{g n \left (e-\frac{c f}{d}\right )-g n (e+f x)} \text{Ei}\left (\frac{f g n (c+d x) \log (F)}{d}\right )}{d} \]

[Out]

(b*F^((e - (c*f)/d)*g*n - g*n*(e + f*x))*(F^(e*g + f*g*x))^n*ExpIntegralEi[(f*g*n*(c + d*x)*Log[F])/d])/d + (a
*Log[c + d*x])/d

________________________________________________________________________________________

Rubi [A]  time = 0.1342, antiderivative size = 68, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.13, Rules used = {2183, 2182, 2178} \[ \frac{a \log (c+d x)}{d}+\frac{b \left (F^{e g+f g x}\right )^n F^{g n \left (e-\frac{c f}{d}\right )-g n (e+f x)} \text{Ei}\left (\frac{f g n (c+d x) \log (F)}{d}\right )}{d} \]

Antiderivative was successfully verified.

[In]

Int[(a + b*(F^(g*(e + f*x)))^n)/(c + d*x),x]

[Out]

(b*F^((e - (c*f)/d)*g*n - g*n*(e + f*x))*(F^(e*g + f*g*x))^n*ExpIntegralEi[(f*g*n*(c + d*x)*Log[F])/d])/d + (a
*Log[c + d*x])/d

Rule 2183

Int[((a_) + (b_.)*((F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.))^(p_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> In
t[ExpandIntegrand[(c + d*x)^m, (a + b*(F^(g*(e + f*x)))^n)^p, x], x] /; FreeQ[{F, a, b, c, d, e, f, g, m, n},
x] && IGtQ[p, 0]

Rule 2182

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Dist[(b*F^(g*(e +
f*x)))^n/F^(g*n*(e + f*x)), Int[(c + d*x)^m*F^(g*n*(e + f*x)), x], x] /; FreeQ[{F, b, c, d, e, f, g, m, n}, x]

Rule 2178

Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - (c*f)/d))*ExpIntegral
Ei[(f*g*(c + d*x)*Log[F])/d])/d, x] /; FreeQ[{F, c, d, e, f, g}, x] &&  !$UseGamma === True

Rubi steps

\begin{align*} \int \frac{a+b \left (F^{g (e+f x)}\right )^n}{c+d x} \, dx &=\int \left (\frac{a}{c+d x}+\frac{b \left (F^{e g+f g x}\right )^n}{c+d x}\right ) \, dx\\ &=\frac{a \log (c+d x)}{d}+b \int \frac{\left (F^{e g+f g x}\right )^n}{c+d x} \, dx\\ &=\frac{a \log (c+d x)}{d}+\left (b F^{-n (e g+f g x)} \left (F^{e g+f g x}\right )^n\right ) \int \frac{F^{n (e g+f g x)}}{c+d x} \, dx\\ &=\frac{b F^{\left (e-\frac{c f}{d}\right ) g n-g n (e+f x)} \left (F^{e g+f g x}\right )^n \text{Ei}\left (\frac{f g n (c+d x) \log (F)}{d}\right )}{d}+\frac{a \log (c+d x)}{d}\\ \end{align*}

Mathematica [A]  time = 0.143331, size = 56, normalized size = 0.82 \[ \frac{a \log (c+d x)+b \left (F^{g (e+f x)}\right )^n F^{-\frac{f g n (c+d x)}{d}} \text{Ei}\left (\frac{f g n (c+d x) \log (F)}{d}\right )}{d} \]

Antiderivative was successfully verified.

[In]

Integrate[(a + b*(F^(g*(e + f*x)))^n)/(c + d*x),x]

[Out]

((b*(F^(g*(e + f*x)))^n*ExpIntegralEi[(f*g*n*(c + d*x)*Log[F])/d])/F^((f*g*n*(c + d*x))/d) + a*Log[c + d*x])/d

________________________________________________________________________________________

Maple [F]  time = 0.046, size = 0, normalized size = 0. \begin{align*} \int{\frac{a+b \left ({F}^{g \left ( fx+e \right ) } \right ) ^{n}}{dx+c}}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a+b*(F^(g*(f*x+e)))^n)/(d*x+c),x)

[Out]

int((a+b*(F^(g*(f*x+e)))^n)/(d*x+c),x)

________________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \begin{align*}{\left (F^{e g}\right )}^{n} b \int \frac{{\left (F^{f g x}\right )}^{n}}{d x + c}\,{d x} + \frac{a \log \left (d x + c\right )}{d} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*(F^(g*(f*x+e)))^n)/(d*x+c),x, algorithm="maxima")

[Out]

(F^(e*g))^n*b*integrate((F^(f*g*x))^n/(d*x + c), x) + a*log(d*x + c)/d

________________________________________________________________________________________

Fricas [A]  time = 1.57428, size = 109, normalized size = 1.6 \begin{align*} \frac{F^{\frac{{\left (d e - c f\right )} g n}{d}} b{\rm Ei}\left (\frac{{\left (d f g n x + c f g n\right )} \log \left (F\right )}{d}\right ) + a \log \left (d x + c\right )}{d} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*(F^(g*(f*x+e)))^n)/(d*x+c),x, algorithm="fricas")

[Out]

(F^((d*e - c*f)*g*n/d)*b*Ei((d*f*g*n*x + c*f*g*n)*log(F)/d) + a*log(d*x + c))/d

________________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{a + b \left (F^{e g} F^{f g x}\right )^{n}}{c + d x}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*(F**(g*(f*x+e)))**n)/(d*x+c),x)

[Out]

Integral((a + b*(F**(e*g)*F**(f*g*x))**n)/(c + d*x), x)

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (F^{{\left (f x + e\right )} g}\right )}^{n} b + a}{d x + c}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+b*(F^(g*(f*x+e)))^n)/(d*x+c),x, algorithm="giac")

[Out]

integrate(((F^((f*x + e)*g))^n*b + a)/(d*x + c), x)